../ref/verify.h